const fn foo(_: impl [const] Trait) {}
